formal logic

formal logic

美 　英

• na.形式邏輯
• 網絡形式邏輯學；正式邏輯；形式理則

英漢解釋

na.

1. 形式邏輯

英英解釋

n.	1. the branch of logic concerned with the formal methods of deducing conclusions from propositions

例句

The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic.

之所以稱其為“必要條件”，是因為“必要條件”可能只存在于形式邏輯中。

Formal logic is one of the scientific methods that mature the earliest, and more widely used in all sciences than mathematics.

形式邏輯的方法是最早成熟的一種科學方法，它比數學方法更廣泛地運用于各門科學。

In this article, the point of combining formal logic with natural language is proposed.

本文提出形式邏輯要與自然語言相結合的觀點。

Reorganized to fit a grid of formal logic , and meaning was shorn off the appearance of objects in .

然后進行重組來適應一個形式邏輯的框架；意義也脫離了所知道的客觀物體的外觀。

The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.

在提出我們上面曾討論過的（所謂）思維的最高規律時，形式邏輯卻正好確認了這一前提。

In terms of formal logic, the problems are the same.

這兩個問題在形式邏輯上其實是同一個問題。

The manner in which Formal Logic establishes this law sets a bad example to other sciences.

形式邏輯在闡明這條思維規律時，卻對別的科學起了一個壞的榜樣。

a graphical representation of a program using formal logic.

應用形式邏輯來圖示一個程序。

Formal logic is applied to proving correctness properties of programs in Chapter 8.

第八章介紹應用應用推理等價形式邏輯證明程序正確性。

His analyses and interpretations of I Ching were also much of formal logic.

他對易之道德世界的分析與解釋也是極其形式化的邏輯的。

This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.

這并不使這一概念的非形式邏輯空虛，因為沒有正式的邏輯捕捉所有在細微的自然語言。

It is a worthy area to explore for combining formal logic with modern linguistics and rhetorics.

形式邏輯與現代語言學、現在修辭學相結合是一個值得大力探索的領域。

However, the "find-difference" regarded that the Chinese logic could not be equal to the western formal logic.

“取異”則認為中國古代的邏輯思想不等同于西方的形式邏輯。

These research and the creation of formal logic as a science in the development is an important stage.

這些形式化的創立和研究在邏輯作為一門科學的發展中是一個重要的階段。

The study of this formal logic undoubtedly has its uses.

對這種形式邏輯的研究，無疑是有用的。

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

發展形式邏輯和其執行情況的計算機是計算機科學的基礎。

Then Mojing started to use metalanguage to express their logic theories and the basic laws of formal logic.

后世諸子百家學術爭鳴，自《墨經》始用元語言來表達邏輯理論和邏輯規律。

Initial sets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.

最初套設計模式，風格，最佳做法，描述語言，并制定了形式邏輯在這段時間里。

Formal logic is the study of inference with purely formal content, where that content is made explicit.

形式邏輯是推理的研究與純粹形式上的內容，其中的內容是明確的。

The unique feature of Mo-tse educational thoughts concerns with practical education, formal logic and technology etc.

墨子教育思想的獨特性涉及到實踐教育、形式邏輯和科學技術等方面。

There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.

法律論證主要有三種進路和論證模式：形式邏輯、修辭和對話。

Formal logic; Natural language logic; Semantic; Pragmatic; Implicature; Presupposition; Communication; Rhetoric;

形式邏輯；自然語言邏輯；語義；語用；隱涵；預設；交際；修辭；

Formal logic to deductive reasoning as the core, focusing on the logic of argument the validity of the basic model of legal argumentation;

形式邏輯以演繹推理為核心，注重論證的邏輯有效性，是法律論證最基本的模式；

From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic

從命題與判斷的關系看形式邏輯精確化特征

debate; formal logic; informal logic; argument; argumentation theory;

辯論；形式邏輯；非形式邏輯；論證；論辯理論；

Formal Logic Will not Be Superseded by Mathematical Logic

數理邏輯不能取代形式邏輯

the negative relation plays the same role with the positive relation from the view of the mathematics and formal logic

從數學、形式邏輯等學科技術中也容易看出，負關系所起的作用與正關系一樣重要。

Exercising formal logic thought in the teaching of engineering mathematics

在工科數學教學中貫徹形式邏輯分析思想的實例

Traditional Formal Logic Reformed and Developed by Modern Symbol Logic from Topic Logic

從命題邏輯看現代符號邏輯對傳統形式邏輯的改造和發展

Analysis on Contemporary Formal Logic of Traditional Concepts

傳統概念問題的當代形式邏輯剖析

foundations laid by kant ' s transcendental logic for the formal logic

康德先驗邏輯對形式邏輯的奠基

Highlights of the Year 2003 Symposium Held by the Formal Logic Special Committee of the Chinese Society for Studying Logic

中國邏輯學會形式邏輯專業委員會2003年學術研討會概述

cultivation of criticizing thinking and development of non - formal logic

批判性思維培養與非形式邏輯發展

On Formal Logic in listening comprehension of English

聽力理解中的形式邏輯問題研究

Formal Logic: On the Designing of Architectural Form

關于建筑形式的邏輯

Formal Logic--An Important Means to Foster the Ability of Learning

形式邏輯--學習能力培養的重要途徑

On Non-formal Logic: Its Objects and Future Directions

非形式邏輯的對象及其發展趨勢

Simple assertions in formal logic,

形式邏輯的簡單斷言，

On the Basic Law Status of Implication Law in Formal Logic

論蘊涵規律在形式邏輯中的基本規律地位

On the embody of formal logic in Advanced math concept

談高等數學概念中形式邏輯的體現